5

Revisiting the notion of function

Year:
2003
Language:
english
File:
PDF, 405 KB
english, 2003
6

Nominalization, predication and type containment

Year:
1993
Language:
english
File:
PDF, 2.14 MB
english, 1993
10

A system at the cross-roads of functional and logic programming

Year:
1992
Language:
english
File:
PDF, 2.59 MB
english, 1992
17

[Handbook of the History of Logic] Computational Logic Volume 9 || Computerising Mathematical Text

Year:
2014
Language:
english
File:
PDF, 1.17 MB
english, 2014
22

A useful λ-notation

Year:
1996
Language:
english
File:
PDF, 1.14 MB
english, 1996
26

Optical solitons for cascaded system: Jacobi elliptic functions

Year:
2016
Language:
english
File:
PDF, 1.68 MB
english, 2016
33

PDE Observer Design for Counter-Current Heat Flows in a Heat-Exchanger

Year:
2017
Language:
english
File:
PDF, 540 KB
english, 2017
35

Editorial

Year:
2004
Language:
english
File:
PDF, 138 KB
english, 2004
38

A unified approach to type theory through a refined λ-calculus

Year:
1994
Language:
english
File:
PDF, 1.97 MB
english, 1994
40

Types in Logic and Mathematics Before 1940

Year:
2002
Language:
english
File:
PDF, 502 KB
english, 2002